Type theory and the integrated logic of programs
- Författare
- Henrik Persson
- (Henrik Persson., Härtill 6 uppsatser, Diss. (sammanfattning) Göteborg : Univ.)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Institutionen för matematik och datavetenskap, Univ. | 1999 | Sverige, Göteborg, Göteborg | [8], 18 sidor. 25 cm |